525.78/526.37	unsat
