0.18/0.65	unsat
