11.94/12.02	unsat
