0.39/0.72	unsat
