11.76/11.87	unsat
