5.17/5.72	unsat
