22.04/24.82	unsat
