583.98/587.96	unsat
