10.67/11.89	unsat
