5.18/5.72	unsat
