525.44/526.22	unsat
