19.49/22.98	unsat
