11.76/11.88	unsat
