4.87/7.48	unsat
