16.90/17.08	unsat
