16.82/16.88	unsat
