25.53/25.62	unsat
