17.07/18.88	unsat
