22.55/24.57	unsat
