17.25/18.07	unsat
