4.88/7.72	unsat
