18.74/18.82	unsat
