19.76/22.98	unsat
