601.61/605.68	unsat
