24.55/25.12	unsat
