16.74/17.98	unsat
