16.96/17.82	unsat
