9.93/14.88	unsat
