4.87/7.57	unsat
