17.74/18.04	unsat
