9.98/12.51	unsat
