0.39/0.65	unsat
