18.74/18.85	unsat
