17.06/17.59	unsat
