23.82/23.98	unsat
