17.76/17.82	unsat
