5.37/5.72	unsat
