526.98/527.45	unsat
