17.74/19.02	unsat
