25.53/25.61	unsat
