10.67/11.87	unsat
