17.62/17.83	unsat
