4.68/7.57	unsat
