11.67/14.18	unsat
