600.93/605.06	unsat
