22.75/24.73	unsat
