17.47/18.98	unsat
