9.97/12.51	unsat
