22.25/25.20	unsat
