17.74/18.23	unsat
