22.55/24.17	unsat
