11.97/12.00	unsat
