22.06/24.52	unsat
