22.55/24.12	unsat
