521.67/526.24	unsat
