573.77/580.86	unsat
