7.57/8.20	unsat
