22.03/24.44	unsat
