22.37/24.43	unsat
