17.07/17.59	unsat
