5.57/8.20	unsat
