17.37/18.57	unsat
