613.62/614.03	unsat
