22.83/24.44	unsat
