22.90/25.17	unsat
