11.98/12.02	unsat
