22.51/24.98	unsat
