5.67/5.72	unsat
