16.96/17.90	unsat
