22.84/25.10	unsat
