17.47/21.98	unsat
