580.10/580.98	unsat
