11.67/11.77	unsat
