599.05/600.30	unsat
