9.88/14.81	unsat
