17.25/17.34	unsat
