16.67/17.90	unsat
