5.57/8.51	unsat
