22.22/24.43	unsat
