25.64/25.78	unsat
