603.62/605.95	unsat
