11.98/12.00	unsat
