5.57/8.16	unsat
