25.24/25.35	unsat
