524.66/526.65	unsat
