25.06/25.77	unsat
