17.74/17.82	unsat
