22.37/24.41	unsat
