0.31/0.32	unsat
