17.74/18.85	unsat
