22.75/25.44	unsat
