11.68/11.74	unsat
