11.91/16.74	unsat
