0.29/0.72	unsat
