22.88/24.20	unsat
