17.46/17.59	unsat
